Electronic Books

Total Books: 1 - 20 /60
978-3-540-79488-2
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...

Continue reading
978-3-540-79980-1
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...

Continue reading
978-3-540-32208-5
Approximation and Online Algorithms (vol. # 3879)

The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for ...

Continue reading
978-3-540-85571-2
Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Continue reading
978-3-540-73551-9
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

Continue reading
978-3-540-73551-9
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

Continue reading
978-3-540-69839-5
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Continue reading
978-3-540-69848-7
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Continue reading
978-3-540-70545-1
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Continue reading
978-3-540-87412-6
Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Continue reading
978-3-540-79003-7
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...

Continue reading
978-1-4302-0150-2
Creating Client Extranets with SharePoint 2003

Creating Client Extranets with SharePoint 2003 is a guide for creating client-facing extranets using SharePoint 2003. This ...

Continue reading
978-0-387-28123-0
Developing Statistical Software in Fortran 95

"This book gives statisticians, biostatisticians and methodologically-oriented researchers the tools they need to develop ...

Continue reading
978-3-540-87654-0
Engineering Societies in the Agents World VIII : 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...

Continue reading
978-1-4020-3705-4
Enterprise Service Oriented Architectures

Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate ...

Continue reading
978-3-540-68552-4
Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...

Continue reading
978-3-540-49703-5
Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Continue reading
978-3-540-47462-3
Formal Methods and Software Engineering (vol. # 4260)

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...

Continue reading
978-1-4302-0140-3
Foundations of Java for ABAP Programmers

The only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...

Continue reading
978-1-4302-0248-6
Foundations of SQL Server 2005 Business Intelligence

This book explains how best to use Analysis Services, SQL Server Integration Services, SQL Server Reporting Services, and ...

Continue reading
Total Books: 1 - 20 /60